Loss of SR-A and CD36 Activity Reduces Atherosclerotic Lesion Complexity Without Abrogating Foam Cell Formation in Hyperlipidemic Mice Jennifer J. Manning-Tobin, Kathryn J. Moore, Tracie A. Seimon, Susan A. Bell, Maia Sh

Source URL: www.tabaslab.com

Cryogenic J. Degallaix, A. Bell, Y. Sakakibara, R. Birney, E. Hirose, A. Khalaidovski, D. Tanner D. Chen, J. Komma R. Glaser D. Heinert, E. Hennes,

Source URL: www.gravity.ircs.titech.ac.jp

A sauropod rib with an embedded theropod tooth: direct evidence for feeding behaviour in the Jehol group, China LIDA XING, PHIL R. BELL, PHILIP J. CURRIE, MASATERU SHIBATA, KUOWEI TSENG AND ZHIMING DONG Xing, L, Bell, P

Source URL: www.xinglida.net

A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

Source URL: ect.bell-labs.com

• Category theory
• Models of computation
• Adjoint functors
• Functional programming
• Logic in computer science
• Denotational semantics
• Lambda calculus
• Cartesian closed category
• Sheaf
• F-algebra
• Kleisli category
• Monad

On the periods of some graph transformations A. M. Odlyzko AT&T Bell Laboratories Murray Hill, NJD. J. Randall AT&T Bell Laboratories

Source URL: www.dtc.umn.edu

• Lambda calculus
• Logic in computer science
• Holomorphic functional calculus
• Itō diffusion
• Mathematical analysis
• Mathematics
• Combinatory logic

Developing a sector sustainability strategy for the UK precast concrete industry Holton, I.R. [1], Glass, J. [2], Clarke, M.A. [3], Bell, S. [4], Price, A.D.FResearch Engineer, British Precast Concrete Federat

Source URL: www.britishprecast.org

• Sustainable architecture
• Sustainable building
• Environmentalism
• Sustainable development
• Precast concrete
• Sustainability advertising
• Sustainability metrics and indices
• Environment
• Environmental social science
• Sustainability

Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem J. NATHAN FOSTER University of Pennsylvania MICHAEL B. GREENWALD Bell Labs, Lucent Technologies

Source URL: www.cis.upenn.edu

• Mathematics
• Combinatory logic
• Fixed-point combinator
• Recursion
• Camera lens
• Theoretical computer science
• Lambda calculus
• Applied mathematics

Research into novel plant-based meals and oils to replace fishmeal and fish oil in more sustainable feeds for Atlantic salmon (Salmo salar) J. Gordon Bell and Douglas R. Tocher In aquaculture, feeds for the carnivorous a

Source URL: www.aqua.stir.ac.uk

• Fish products
• Fish meal
• Fish farming
• Fish oil
• Salmon
• Omega-3 fatty acid
• Seafood
• Human nutrition
• Commercial fish feed
• Aquaculture
• Fish
• Food and drink

INTONATION AND THE INTENTIONAL STRUCTURE OF DISCOURSE J. Hirschberg D. Litman J. Pierrehumbert G. Ward A T & T Bell Laboratories

Source URL: ijcai.org

A proof of Bell’s inequality in quantum mechanics using causal interactions James M. Robins, Tyler J. VanderWeele Departments of Epidemiology and Biostatistics, Harvard School of Public Health Richard D. Gill Mathemati

Source URL: www.math.leidenuniv.nl